Wyniki
-
A Sequent System of the Logic R- for Rosser Sentences
Katsumi Sasaki, Shigeo Ohama
Bulletin of the Section of Logic , 33 /1 (2004) s. 11-21
Katsumi Sasaki,
Shigeo Ohama
Bulletin of the Section of Logic
, 33
/1
(2004)
s. 11-21